// Single side border-radius

// TODO: find a way to combine existing border values
@mixin border-top-radius($radius) {
  // border-top-right-radius: $radius;
  // border-top-left-radius: $radius;
  -fx-border-radius: $radius, 0, 0, 0;
}
@mixin border-right-radius($radius) {
  // border-bottom-right-radius: $radius;
  // border-top-right-radius: $radius;
  -fx-border-radius: 0, 0, 0, $radius;
}
@mixin border-bottom-radius($radius) {
  // border-bottom-right-radius: $radius;
  // border-bottom-left-radius: $radius;
  -fx-border-radius: 0, 0, $radius, 0;
}
@mixin border-left-radius($radius) {
  // border-bottom-left-radius: $radius;
  // border-top-left-radius: $radius;
  -fx-border-radius: 0, $radius, 0, 0;
}
